LEARNING LARGE-ALPHABET AND ANALOG CIRCUITS WITH VALUE INJECTION QUERIES Dana Angluin1 James Aspnes1 Jiang Chen2

Source URL: www.levreyzin.com

• Computational complexity theory
• Theory of computation
• Theoretical computer science
• Circuit complexity
• Complexity classes
• Clique problem
• Boolean circuit
• ACC0
• Clique
• Circuit
• NC

On the Formal Consistency of Theory and Experiment, with Applications to Problems in the Initial-Value Formulation of the Partial-Differential Equations of Mathematical Physics† DRAFT Erik Curiel‡ October 8, 2010

Source URL: strangebeautiful.com

Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification Peter Gaˇzi1,2 and Ueli Maurer1 1 2

Source URL: pub.ist.ac.at

• Control theory
• Mathematical modeling
• State-space representation
• Expected value
• Probability theory
• Systems theory
• Statistics

Low-Dimensional Embeddings of Logic Tim Rockt¨aschel§ Matko Bosnjak§ Sameer Singh† Sebastian Riedel§ § Department of Computer Science, University College London, UK † Computer Science & Engineering, University o

Source URL: www.aclweb.org

• Logic
• Philosophy
• Reasoning
• Semantics
• Model theory
• Critical thinking
• Logical consequence
• Embedding
• Negation
• Inference
• Truth value
• Distributional semantics

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

THE THEORY OF ECONOMIC VALUE by Michael Huemer 1. Basic Assumptions of Economics People want things, and they tend to act in such a way as to get the things they want, to the best of their ability.1 Sometimes our wants c

Source URL: www.owl232.net

The Frequentist Implications of Optional Stopping on Bayesian Hypothesis Tests Adam N. Sanborn Thomas T. Hills Department of Psychology, University of Warwick Abstract

Source URL: www2.warwick.ac.uk

• Statistical inference
• Hypothesis testing
• Design of experiments
• Statistical theory
• Philosophy of science
• Statistical hypothesis testing
• Bayesian inference
• P-value
• Null hypothesis
• Likelihood principle
• Frequentist probability
• Statistics

Using Neural Measures of Economic Value to Solve the Public Goods Free-Rider Problem Ian Krajbich, et al. Science 326, ); DOI: scienceThe following resources related to this article are availabl

Source URL: www.rnl.caltech.edu

• Game theory
• Mechanism design
• Machine learning
• Incentive compatibility
• Support vector machine
• Revelation principle
• Statistical classification
• Information
• Learning
• Mathematics

Model Checking Invariant Security Properties in OpenFlow Sooel Son University of Texas at Austin Seungwon Shin Vinod Yegneswaran

Source URL: faculty.cs.tamu.edu

• Mathematics
• Field theory
• Limit of a function
• Mathematical analysis
• Expected value
• Valuation
• Flow
• Obfuscation
• Word square

T HEORY OF C OMPUTING, Volume), pp. 141–172 www.theoryofcomputing.org Parallel Repetition: Simplifications and the No-Signaling Case∗ Thomas Holenstein†

Source URL: theoryofcomputing.org

• Probability
• Mathematical analysis
• Mathematics
• Probability theory
• Expected value
• Joint probability distribution